单词existential quantifier
网络: 存在量词；存在数量词；语法成分
Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
The universal ( dually , existential) quantifier interprets the interior (closure) operator;
全称（对偶的存在）量词解释内部算子（闭包算子）；
The Necessity for Introduction of the Existential Quantifier into Mathematical Logic
数理逻辑中存在量词引入的必要性